Life-Death Ratio Approach by a Multiset-Based Type System
نویسندگان
چکیده
We introduce and study a multiset-based type system with ratio thresholds motivated by an important regulatory mechanism inside a cell which try to maintain a “life-death” ratio between some given lower and upper thresholds. We use such a type system to control ratio thresholds in a bio-inspired and multisets-based formalism. For this type system we prove a subject reduction theorem, together with soundness and completeness theorems. A type inference for deducing the type of a system is presented.
منابع مشابه
The Effect of a Death Anxiety Therapeutic Package Based on Acceptance and Commitment Therapy on Death Avoidance, Mental Health and Quality of Life of Cancer Patients
Objectives: The purpose of this study was to evaluate the effect of a death anxiety therapeutic package designed based on Acceptance and Commitment Therapy (ACT) on death avoidance, mental health, and quality of life of cancer patients. Methods: This parallel-experimental study was conducted on 28 cancer patients (19 females and 9 males aged 26-71 years) referred to Seyedoshohada Hospital in I...
متن کاملA Fall Detection System based on the Type II Fuzzy Logic and Multi-Objective PSO Algorithm
The Elderly health is an important and noticeable issue; since these people are priceless resources of experience in the society. Elderly adults are more likely to be severely injured or to die following falls. Hence, fast detection of such incidents may even lead to saving the life of the injured person. Several techniques have been proposed lately for the fall detection of people, mostly cate...
متن کاملTHE COMPARISON TREND OF SUICIDE IN HAMADAN PROVINCE IN 2006 TO 2010: A DEATH REGISTRY SYSTEM-BASED STUDY
Background & Aims: Suicide in developing countries is an important health problem that occurs at a young age. Our purpose in this study was to compare the suicide trends using epidemiological aspects in Hamadan province in 2006 to 2010. Materials & Methods: The mortality data of suicide for the present study was extracted from the death registry for suicide in District Health Network in Hamada...
متن کاملStudying the Performance of Contrarian Strategies in Tehran Stock Exchange with Using Fuzzy Approach
During recent years, examining the performance of contrarian strategies has been taken into consideration by scholars and stock market's activists, though several evidences are available based on profitability of this type of strategies, much of them have been referred to American and European's stock markets. In current study, the act of these strategies will be examined in Tehran's stock exch...
متن کاملStudying the performance of contrarian strategies in Tehran stock exchange with using Fuzzy approach
During recent years, examining the performance of contrarian strategies has been taken into consideration by scholars and stock market's activists, though several evidences are available based on profitability of this type of strategies, much of them have been referred to American and European's stock markets. In current study, the act of these strategies will be examined in Tehran's stock exch...
متن کامل